Gates Accept Concurrent Behavior
نویسندگان
چکیده
We represent concurrent processes as Boolean propositions or gates, cast in the role of accep-tors of concurrent behavior. This properly extends other mainstream representations of concurrent behavior such as event structures, yet is deened more simply. It admits an intrinsic notion of duality that permits processes to be viewed as either schedules or automata. Its algebraic structure is essentially that of linear logic, with its morphisms being consequence-preserving renamings of propositions, and with its operations forming the core of a natural concurrent programming language.
منابع مشابه
Gages Accept Concurrent Behavior
We represent concurrent processes as Boolean propositions or gates, cast in the role of acceptors of concurrent behavior. This properly extends other mainstream representations of concurrent behavior such as event structures, yet is defined more simply. It admits an intrinsic notion of duality that permits processes to be viewed as either schedules or automata. Its algebraic structure is essent...
متن کاملRectification in Graphene Self-Switching Nanodiode Using Side Gates Doping
The electrical properties and rectification behavior of the graphene self-switching diodes by side gates doping with nitrogen and boron atoms were investigated using density functional tight-binding method. The devices gates doping changes the electrical conductivity of the side gates and the semiconductor channel nanoribbons. As a result, the threshold voltage value under the forward bias is s...
متن کاملExperimental Setup for UV-Programming of Floating- Gate MOS Circuits
In this paper the experimental equipment for UV-programming of floating-gate circuits are presented along with initial results on concurrent UV-programming of digital floating-gate circuits. It is demonstrated that concurrent UV-programming is possible when using real-time reconfigurable gates (Universal Gates). It is also shown that openings in the passivation, enabling UV-programming, works t...
متن کاملNovel Defect Terminolgy Beside Evaluation And Design Fault Tolerant Logic Gates In Quantum-Dot Cellular Automata
Quantum dot Cellular Automata (QCA) is one of the important nano-level technologies for implementation of both combinational and sequential systems. QCA have the potential to achieve low power dissipation and operate high speed at THZ frequencies. However large probability of occurrence fabrication defects in QCA, is a fundamental challenge to use this emerging technology. Because of these vari...
متن کاملInteraction of Tetraethylammonium Ion Derivatives with the Potassium Channels of Giant Axons
A number of compounds related to TEA(+) (tetraethylammoniumion) were injected into squid axons and their effects on g(K) (the potassium conductance) were determined. In most of these ions a quaternary nitrogen is surrounded by three ethyl groups and a fourth group that is very hydrophobic. Several of the ions cause inactivation of g(K), a type of ionic gating that is not normally seen in squid ...
متن کامل